Similarity quantification for linear stochastic systems: A coupling compensator approach

نویسندگان

چکیده

For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially case when considering accurate deviation bounds between a stochastic continuous-state model its finite (reduced-order) abstraction. In this work, we introduce coupling compensator to parameterize set relevant couplings give comprehensive computational approach analysis for linear systems. More precisely, develop method that characterizes possible simulation relations gives trade-off error contributions on systems output deviations in transition probability. We show effect guaranteed satisfaction probability studies where specification given as temporal logic formula.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...

15 صفحه اول

A Suggested Approach for Stochastic Interval-Valued Linear Fractional Programming problem

In this paper, we considered a Stochastic Interval-Valued Linear Fractional Programming problem(SIVLFP). In this problem, the coefficients and scalars in the objective function are fractional-interval, and technological coefficients and the quantities on the right side of the constraints were random variables with the specific distribution. Here we changed a Stochastic Interval-Valued Fractiona...

متن کامل

A METHOD FOR SOLVING FUZZY LINEAR SYSTEMS

In this paper we present a method for solving fuzzy linear systemsby two crisp linear systems. Also necessary and sufficient conditions for existenceof solution are given. Some numerical examples illustrate the efficiencyof the method.

متن کامل

The LMI Approach for Stabilizing of Linear Stochastic Systems

Stochastic linear systems subjected both to Markov jumps and to multiplicative white noise are considered. In order to stabilize such type of stochastic systems, the so-called set of generalized discrete-time algebraic Riccati equations has to be solved. The LMI approach for computing the stabilizing symmetric solution (which is in fact the equilibrium point) of this system is studied. We const...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Automatica

سال: 2022

ISSN: ['1873-2836', '0005-1098']

DOI: https://doi.org/10.1016/j.automatica.2022.110476